Towards a Global Scale Semantic Web Zhengxiang Pan Department of Computer Science and Engineering, Lehigh University 19 Memorial Dr. West, Bethlehem, PA 18015, U.S.A.

Source URL: iswc2006.semanticweb.org

• Semantic Web
• Computing
• Information science
• Knowledge engineering
• Information
• Knowledge representation
• Ontology
• Semantic reasoner
• Web Ontology Language
• Description logic
• Resource Description Framework
• Swoogle

Bayesian Artificial Intelligence 1/40 History

Source URL: bayesian-intelligence.com

• Statistical models
• Bayesian statistics
• Philosophy of science
• Statistical inference
• Bayesian network
• Graphical model
• Bayesian
• Inference
• Probabilistic logic
• Causality
• Judea Pearl
• Naive Bayes classifier

Mostly-Automated Verification of Low-Level Programs in Computational Separation Logic Adam Chlipala Harvard University PLDI 2011

Source URL: adam.chlipala.net

• Theoretical computer science
• Logic in computer science
• Formal methods
• Constraint programming
• Electronic design automation
• Satisfiability modulo theories
• Separation logic
• Mathematical logic
• Logic programming
• Logic

A Computational Space for the Web of Things Simon Mayer David S. Karam Inst. for Pervasive Computing

Source URL: www.vs.inf.ethz.ch

• Engineering
• Theoretical computer science
• Academia
• Algorithm
• Mathematical logic
• Computing
• Computational science
• Google Apps Marketplace
• Computer science

Forward and Backward Guarding in Early Output Logic Charlie Brej and Doug Edwards School of Computer Science, The University of Manchester,Oxford Road, Manchester, M13 9PL, UK Email: {cbrej,dedwards}@cs.man.ac.uk Abstrac

Source URL: apt.cs.manchester.ac.uk

The parallel implementation of the Astr´ ee static analyzer David Monniaux http://www.di.ens.fr Centre national de la recherche scientifique (CNRS)

Source URL: www-verimag.imag.fr

• Theoretical computer science
• Logic in computer science
• Software engineering
• Formal methods
• Models of computation
• Parallel computing
• Programming language semantics
• Denotational semantics
• Abstract interpretation
• Semantics
• Astre

Anytime Inference in Probabilistic Logic Programs with TP -Compilation Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt Department of Computer Science KU Leuven, Belgium firstname.lastnam

Source URL: web.cs.ucla.edu

Backwards Abstract Interpretation of Probabilistic Programs David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France

Source URL: www-verimag.imag.fr

• Operator theory
• Theoretical computer science
• Measure theory
• Mathematics
• Analysis
• Denotational semantics
• Logic in computer science
• Hermitian adjoint
• Support
• Expected value
• Abstract interpretation
• Adjoint functors

Computational Intelligence, Volume 000, Number 000, 0000 Propositional Dynamic Logic for Reasoning about First-Class Agent Interaction Protocols Tim Miller Department of Computer Science and Software Engineering,

Source URL: people.eng.unimelb.edu.au

Reasoning with Graded Notions Petr Cintula Institute of Computer Science Czech Academy of Sciences Petr Cintula (CAS)

Source URL: prague_logic_2016.math.cas.cz